A Nonblocking Atomic Transaction Processing Algorithm with Real-Time Property

Many multiple server systems are now being used for heavily accessed web services. Performance, availability, and real-time transaction processing are important requirements for many of these applications. In this paper, we apply the multi-invariant data structure (MIDS) concept to develop an atomic transaction processing algorithm. We show that our algorithm achieves nonblocking property. It also allows preemption at any point of transaction processing without su ering from inconsistency problems or high recovery costs. Thus, the algorithm is suitable for real-time transaction processing systems. Preliminary performance study results show that our algorithm incurs almost no overhead compared with two phase commit protocol.